Советский философский словарь - интуиционистская логика
Связанные словари
Интуиционистская логика
интуиционистская логика
форма логики предикатов (или логики высказываний), включающая лишь такие логические законы, к-рые приемлемы с т. зр. концепции интуиционизма. Системы И. л., построенные голл. учёным А. Гейтингом (1930) и ранее (исходя не из интуиционистских предпосылок) сов. математиком В. И. Гливенко (1928), отличаются от соответств. систем классич. логики гл. обр. отсутствием исключённого третьего принципа. См. также Конструктивное направление.
Рейтинг статьи:
См. в других словарях
1.
одна из наиболее важных ветвей логики неклассической, имеющая своей философской предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил. Только в 1930 г. голландский математик и логик А. Гейтинг ученик создателя интуиционизма Л. Брауэра дал аксиоматическую формулировку И. л., подчеркнув, что "интуиционизм развивается независимо от формализации, которая может идти только по следам математической конструкции". В И. л. не действует закон исключенного третьего, а также ряд других законов логики классической, позволяющих доказывать существование объектов, которые невозможно реализовать или вычислить. В числе таких законов закон (снятия) двойного отрицания и закон приведения к абсурду. Отбрасывание закона исключенного третьего не означает принятия отрицания этого закона; напротив, И. л. утверждает, что отрицание отрицания этого закона (его двойное отрицание) является верным. Отбрасывание не должно пониматься также как введение какого-то третьего истинностного значения, промежуточного между истиной и...Словарь по логике
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1731 | |
2 | 1416 | |
3 | 1215 | |
4 | 1146 | |
5 | 1135 | |
6 | 1100 | |
7 | 905 | |
8 | 832 | |
9 | 788 | |
10 | 756 | |
11 | 748 | |
12 | 732 | |
13 | 701 | |
14 | 699 | |
15 | 697 | |
16 | 678 | |
17 | 677 | |
18 | 653 | |
19 | 648 | |
20 | 629 |